Curry, Yablo and duality
نویسندگان
چکیده
منابع مشابه
Gödelizing the Yablo Sequence
We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to ...
متن کاملYablo Sequences in Truth Theories
We investigate the properties of Yablo sentences and formulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.
متن کاملUPV-CURRY: An Incremental CURRY Interpreter
Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm declarative language Curry is an extension of Haskell which is intended to become a standard in the area. In this paper, we present UPV-Curry, an eecient and quite complete implementation of Curry based on a new, incremental deenition of its basic evaluation mechanism. We compa...
متن کاملOn a new G-frame and duality
We introduce a new g-frame (singleton g-frame), g-orthonormal basis and g-Riesz basis and study corresponding notions in some other generalizations of frames.Also, we investigate duality for some kinds of g-frames. Finally, we illustrate an example which provides a suitable translation from discrete frames to Sun's g-frames.
متن کاملOrganisers : Edward Curry ,
With the growing use of ontologies in various domains of interest, the problem of overlapping knowledge in a common domain becomes critical. In this context, much work has already been done developing semi-automated applications that enable the merging, mapping or alignment of ontologies. On the other hand, a big effort is being currently developed by many communities (e.g. eLearning, telemedic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2009
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anp089